A Bibliography of Publications in Theoretical Computer Science: 1995–1999
نویسنده
چکیده
(3/2) log 3 [725]. (α) [1112]. (A ∨ B)⇒ C [1135]. (q) [1377]. ∗ [36]. + [668, 1193]. 0 [890, 104, 762, 161, 336, 432, 1166]. 1 [882, 133, 162, 762, 1166]. 101 [1252]. 180 [1039]. 2 [1068, 1281, 172, 267, 1181, 585, 1002, 1367]. 2.5 [168]. 2λ [530]. 3 [51, 731, 1346, 824, 784]. 4 [551]. = [17]. 0 [1223]. A∗ [1182]. α [1371, 599]. Bn [550]. β [1138]. β = λ [283]. cβ [831]. D [1328, 1356]. ∆ [606]. E [1342, 98, 1366]. E2 [98]. η [1138]. F [772, 106]. F< [37]. Fqn [1381]. G [279]. h [881]. H(X) [1283]. K [1125, 58, 1145, 1082, 378, 440, 10, 1182, 881, 1041, 1084]. κ [668, 1193]. L1 [817]. λ [229, 1195, 1391, 630, 1392, 702, 519, 1345, 89, 4, 1200, 466, 277, 367, 368, 366]. λ{} [630]. λβ [831]. log2 n+ O(1) [864]. m [560, 164]. μ [217, 178, 1050, 1235, 409, 1363]. N [1206, 618, 973]. n+ c [1206]. n+ c [1206]. 6= [159]. O(n) [973]. O(n/2) [722]. Ω [758, 218, 747, 851, 942, 849, 594, 90]. P [295, 1422, 343, 330, 164]. P4 [695, 136]. π [1006, 487, 482, 971]. Pω [885, 284]. r [205]. R [969]. S [971]. σ [271, 971]. σ [271]. ε [10]. W [1] [62]. W [2] [1149]. X [365]. Z/nZ [1378]. Z [423, 784]. Zm [1328, 1087]. ZN [1380].
منابع مشابه
A Procosii Project Final Report: Esprit Basic Research Project 7071
An overview of the research and associated activities of the European collaborative ESPRIT Basic Research ProCoS II project (no. 7071) on \Provably Correct Systems" which ran from 1992 to 1995 is presented. This was a follow-on project to ProCoS (no. 3104) and ran in parallel with the ProCoS-WG Working Group (no. 8694), all previously announced in the Bulletin of the EATCS [3, 17, 18]. A compre...
متن کاملA Complete Bibliography of Publications in Chicago Journal of Theoretical Computer Science
29]. Accuracy [34]. Algorithms [18, 15, 6]. Approximating [12]. Arbitrary [29]. Arithmetic [16]. ATM [7]. Atomicity [9]. Automorphisms [21]. Balancing [35]. Bibliography [20]. Boolean [2]. Bounds [28, 29]. Branching [16]. Channel [10]. Characterizing [33]. Checkable [4]. Checking [37]. Circuits [27, 37, 16]. Classes [33]. Clock [34]. Closed [1]. Coding [31]. Coloring [32]. Combinatorics [15]. C...
متن کاملA Bibliography of Publications about the Java Programming Language, 1995–1999
This bibliography records books about the Java Programming Language and related software. Title word cross-reference $1 [?]. $1-Million [?]. $19.95 [?]. 2 [?]. $25.00 [?]. $29.95 [?, ?, ?, ?, ?, ?, ?, ?]. 3 [?, ?, ?, ?, ?, ?, ?, ?]. $32.95 [?, ?, ?, ?, ?]. $34.95 [?, ?]. $39.95 [?, ?]. $44.95 [?]. $54.95 [?]. $54.99 [?]. $64.95 [?]. light [?]. k > 1 [?]. Zn [?].
متن کامل